Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
431	ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:08 Data types Subroutines Type theory Functional languages Procedural programming languages Closure Standard ML Type system Anonymous function Partial evaluation HindleyMilner type system ML
432	Javascript to Scheme Compilation Florian Loitsch Inria Sophia Antipolis 2004 route des Lucioles - BP 93 FSophia Antipolis, Cedex France Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:54:18 Subroutines Functional languages Functional programming Lambda calculus Data types JavaScript Anonymous function Closure Apply Scope Eval Bigloo
433	Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Programming paradigms Programming language implementation Functional languages Evaluation strategy Partial evaluation Type system Compiler Prolog Logic programming XPL Interpreter Generic programming
434	Modular Rollback through Control Logging† Twin pearls in continuation, and a monadic third Olin Shivers () and Aaron Turon () Northeastern University Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2013-08-21 02:05:20 Compiler construction Procedural programming languages Control characters Functional programming Parsing Delete character Recursive descent parser Forth Monad Lisp Scheme MAD
435	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
436	Accepted at Haskell ’14 Effect Handlers in Scope Nicolas Wu Tom Schrijvers Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-06-10 11:26:04 Control flow Software design patterns Functional programming Monad Exception handling Syntax Functor Unix signal Scope IMP
437	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
438	Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Object-oriented programming languages Abstract data types Data types Functional programming Object Combinatory logic Objective-C Associative array Self Object-oriented programming Iterator First-class function
439	CSE341: Programming Languages Winter 2013 Unit 2 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-12 20:36:27 Data types Type theory Functional languages Functional programming Procedural programming languages C++ classes Recursive data type ML Parameter Type inference Monad Enumerated type
440	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning

UPDATE